<?php exit;?>{"font_size":"18px","theme":"eclipse","auto_wrap":"0","display_char":"0","auto_complete":"0"}